/*Put all this in a separated file*/
span.token_variable{
    color:black;
}
span.token_punctuation{
    color:black;
}
span.token_string{
    color:red;
}

span.token_symbol{
    color:blue;
}

span.token_number{
    color:green;
}

/*Put all this in a separated file*/
.mrCodeArea{
    resize:none;
}